1. Advances in Proof Theory
پدیدآورنده : \ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory -- Congresses.
رده :
E-Book
,
2. Advances in proof theory
پدیدآورنده : Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Proof theory
رده :
QA
9
.
54
.
A39
3. Migration, Familie und soziale Lage :
پدیدآورنده : edited by Thomas Geisen, Tobias Studer, Erol Yildiz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
HM706
.
E358
2012
4. Relationale Datenbanken
پدیدآورنده : / Thomas Studer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
5. Relationale Datenbanken Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL
پدیدآورنده : Thomas Studer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Software engineering.
رده :
QA76
.
9
.
D3
T466
2016